1. Static analysis : 10th international symposium, SAS 2003, San Diego, CA, USA, June 11-13, 2003 : proceedings
پدیدآورنده: Radhia Cousot )ed.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، Computer programming,Congresses ، Programming languages )Electronic computers(
رده :
QA
76
.
L28
Vol
.
2694
2. Verification, model checking, and abstract interpretatio
پدیدآورنده: / Radhia Cousot (ed.)
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع: Computer programs--Verification--Congresses
رده :
QA
,
76
.
76
,.
V47
,
V53
,
2005
3. Verification, model checking, and abstract interpretation : 6th International Conference, VMCAI 2005, Paris, France, January 17-19, 2005 : proceedings
پدیدآورنده: Radhia Cousot )ed.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، Computer programs -- Verification
رده :
QA
76
.
L28
Vol
.
3385
